Axel van Lamsweerde: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

The humble humorous researcher: A tribute to Michel Sintzoff

Axel van Lamsweerde

Journal:

Science of Computer Programming

Year:

2011

Language:

english

File:

PDF, 269 KB

english, 2011

2

[ACM Press the 3rd international workshop - Leipzig, Germany (2008.05.13-2008.05.13)] Proceedings of the 3rd international workshop on Sharing and reusing architectural knowledge - SHARK '08 - Goal models as architectural knowledge

van Lamsweerde, Axel

Year:

2008

Language:

english

File:

PDF, 154 KB

english, 2008

3

[ACM Press the 14th ACM SIGSOFT international symposium - Portland, Oregon, USA (2006.11.05-2006.11.11)] Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering - SIGSOFT '06/FSE-14 - Scenarios, goals, and state machines

Damas, Christophe, Lambeau, Bernard, van Lamsweerde, Axel

Year:

2006

Language:

english

File:

PDF, 466 KB

english, 2006

4

Analyzing Critical Decision-Based Processes

Damas, Christophe, Lambeau, Bernard, van Lamsweerde, Axel

Journal:

IEEE Transactions on Software Engineering

Year:

2014

Language:

english

File:

PDF, 1.61 MB

english, 2014

5

[ACM Press the 16th ACM SIGSOFT International Symposium - Atlanta, Georgia (2008.11.09-2008.11.14)] Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering - SIGSOFT '08/FSE-16 - Requirements engineering

van Lamsweerde, Axel

Year:

2008

Language:

english

File:

PDF, 1.47 MB

english, 2008

6

The Humble Humorous Researcher: A Tribute to Michel Sintzoff

Axel van Lamsweerde

Journal:

Formal Aspects of Computing

Year:

2011

Language:

english

File:

PDF, 120 KB

english, 2011

7

[ACM Press the conference - Limerick, Ireland (2000.06.04-2000.06.11)] Proceedings of the conference on The future of Software engineering - ICSE '00 - Formal specification

Lamsweerde, Axel van

Year:

2000

Language:

english

File:

PDF, 1.24 MB

english, 2000

8

THE QSM ALGORITHM AND ITS APPLICATION TO SOFTWARE BEHAVIOR MODEL INDUCTION

Dupont, Pierre, Lambeau, Bernard, Damas, Christophe, Lamsweerde, Axel van

Journal:

Applied Artificial Intelligence

Year:

2008

Language:

english

File:

PDF, 1.81 MB

english, 2008

9

Deriving operational software specifications from system goals

Letier, Emmanuel, van Lamsweerde, Axel

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2002

Language:

english

File:

PDF, 1.16 MB

english, 2002

10

[IEEE 2015 IEEE 23rd International Requirements Engineering Conference (RE) - Ottawa, ON, Canada (2015.8.24-2015.8.28)] 2015 IEEE 23rd International Requirements Engineering Conference (RE) - Handling knowledge uncertainty in risk-based requirements engineering

Cailliau, Antoine, van Lamsweerde, Axel

Year:

2015

Language:

english

File:

PDF, 1.04 MB

english, 2015

11

Deriving tabular event-based specifications from goal-oriented requirements models

Renaud De Landtsheer, Emmanuel Letier, Axel van Lamsweerde

Journal:

Requirements Engineering

Year:

2004

Language:

english

File:

PDF, 373 KB

english, 2004

12

Requirements and Specification Exemplars

Martin S. Feather, Stephen Fickas, Anthony Finkelstein, Axel van Lamsweerde

Journal:

Automated Software Engineering

Year:

1997

Language:

english

File:

PDF, 87 KB

english, 1997

13

[ACM Press the 12th ACM SIGSOFT twelfth international symposium - Newport Beach, CA, USA (2004.10.31-2004.11.06)] Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering - SIGSOFT '04/FSE-12 - Reasoning about partial goal satisfaction for requirements and design engineering

Letier, Emmanuel, van Lamsweerde, Axel

Year:

2004

Language:

english

File:

PDF, 112 KB

english, 2004

14

[IEEE 2013 5th International Workshop on Software Engineering in Health Care (SEHC) - San Francisco, CA, USA (2013.05.20-2013.05.21)] 2013 5th International Workshop on Software Engineering in Health Care (SEHC) - Transformation operators for easier engineering of medical process models

Damas, Christophe, Lambeau, Bernard, van Lamsweerde, Axel

Year:

2013

Language:

english

File:

PDF, 578 KB

english, 2013

15

[IEEE 2009 IEEE 31st International Conference on Software Engineering - Vancouver, BC, Canada (2009.05.16-2009.05.24)] 2009 IEEE 31st International Conference on Software Engineering - Analyzing critical process models through behavior model synthesis

Damas, Christophe, Lambeau, Bernard, Roucoux, Francois, van Lamsweerde, Axel

Year:

2009

Language:

english

File:

PDF, 686 KB

english, 2009

16

Assessing requirements-related risks through probabilistic goals and obstacles

Antoine Cailliau, Axel van Lamsweerde

Journal:

Requirements Engineering

Year:

2013

Language:

english

File:

PDF, 1.46 MB

english, 2013

17

[IEEE 2014 IEEE 22nd International Requirements Engineering Conference (RE) - Karlskrona, Sweden (2014.8.25-2014.8.29)] 2014 IEEE 22nd International Requirements Engineering Conference (RE) - Integrating exception handling in goal models

Cailliau, Antoine, van Lamsweerde, Axel

Year:

2014

Language:

english

File:

PDF, 959 KB

english, 2014

18

[ACM Press the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium - Lisbon, Portugal (2005.09.05-2005.09.09)] Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering - ESEC/FSE-13 - Reasoning about confidentiality at requirements engineering time

De Landtsheer, Renaud, van Lamsweerde, Axel

Year:

2005

Language:

english

File:

PDF, 402 KB

english, 2005

19

[IEEE 2017 IEEE/ACM 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) - Buenos Aires, Argentina (2017.5.22-2017.5.23)] 2017 IEEE/ACM 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) - Runtime Monitoring and Resolution of Probabilistic Obstacles to System Goals

Cailliau, Antoine, van Lamsweerde, Axel

Year:

2017

Language:

english

File:

PDF, 722 KB

english, 2017

20

[ACM Press the 4th ACM SIGSOFT symposium - San Francisco, California, United States (1996.10.16-1996.10.18)] Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering - SIGSOFT '96 - Formal refinement patterns for goal-driven requirements elaboration

Darimont, Robert, van Lamsweerde, Axel

Year:

1996

Language:

english

File:

PDF, 1.27 MB

english, 1996

21

[IEEE 2013 International Symposium on Theoretical Aspects of Software Engineering (TASE) - Birmingham, United Kingdom (2013.07.1-2013.07.3)] 2013 International Symposium on Theoretical Aspects of Software Engineering - Engineering Multi-view Models for Model-Driven Engineering

van Lamsweerde, Axel

Year:

2013

Language:

english

File:

PDF, 122 KB

english, 2013

22

[ACM Press the 24th international conference - Orlando, Florida (2002.05.19-2002.05.25)] Proceedings of the 24th international conference on Software engineering - ICSE '02 - Agent-based tactics for goal-oriented requirements elaboration

Letier, Emmanuel, van Lamsweerde, Axel

Year:

2002

Language:

english

File:

PDF, 1.06 MB

english, 2002

23

Succeedings of the seventh international workshop on software specification and design

Feather, Martin S., van Lamsweerde, Axel

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1994

File:

PDF, 531 KB

1994

24

[IEEE 2012 IEEE 20th International Requirements Engineering Conference (RE) - Chicago, IL, USA (2012.09.24-2012.09.28)] 2012 20th IEEE International Requirements Engineering Conference (RE) - A probabilistic framework for goal-oriented risk analysis

Cailliau, Antoine, van Lamsweerde, Axel

Year:

2012

Language:

english

File:

PDF, 924 KB

english, 2012

25

[ACM Press the 2nd ACM SIGCHI symposium - Berlin, Germany (2010.06.19-2010.06.23)] Proceedings of the 2nd ACM SIGCHI symposium on Engineering interactive computing systems - EICS '10 - Model engineering for model-driven engineering

van Lamsweerde, Axel

Year:

2010

Language:

english

File:

PDF, 346 KB

english, 2010

26

[IEEE 2013 International Comparing Requirements Modeling Approaches Workshop (CMA@RE) - Rio de Janeiro, Brazil (2013.07.16-2013.07.16)] 2013 3rd International Workshop on Comparing Requirements Modeling Approaches (CMA@RE) - Modeling car crash management with KAOS

Cailliau, Antoine, Damas, Christophe, Lambeau, Bernard, van Lamsweerde, Axel

Year:

2013

Language:

english

File:

PDF, 918 KB

english, 2013

27

[IEEE 2012 34th International Conference on Software Engineering (ICSE) - Zurich, Switzerland (2012.06.2-2012.06.9)] 2012 34th International Conference on Software Engineering (ICSE) - Generating obstacle conditions for requirements completeness

Alrajeh, Dalal, Kramer, Jeff, van Lamsweerde, Axel, Russo, Alessandra, Uchitel, Sebastian

Year:

2012

Language:

english

File:

PDF, 522 KB

english, 2012

28

[ACM Press the tenth ACM SIGSOFT symposium - Charleston, South Carolina, USA (2002.11.18-2002.11.22)] Proceedings of the tenth ACM SIGSOFT symposium on Foundations of software engineering - SIGSOFT '02/FSE 10 - Deriving operational software specifications from system goals

Letier, Emmanuel, van Lamsweerde, Axel

Year:

2002

Language:

english

File:

PDF, 100 KB

english, 2002

29

Runtime Monitoring and Resolution of Probabilistic Obstacles to System Goals

Cailliau, Antoine, Lamsweerde, Axel Van

Journal:

ACM Transactions on Autonomous and Adaptive Systems

Year:

2019

Language:

english

File:

PDF, 3.10 MB

english, 2019

30

Reasoning about partial goal satisfaction for requirements and design engineering

Letier, Emmanuel, van Lamsweerde, Axel

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2004

Language:

english

File:

PDF, 112 KB

english, 2004

31

[ACM Press the IEEE/ACM international conference - Antwerp, Belgium (2010.09.20-2010.09.24)] Proceedings of the IEEE/ACM international conference on Automated software engineering - ASE '10 - Keynote address

van Lamsweerde, Axel

Year:

2010

Language:

english

File:

PDF, 352 KB

english, 2010

32

[ACM Press the 38th International Conference - Austin, Texas (2016.05.14-2016.05.22)] Proceedings of the 38th International Conference on Software Engineering - ICSE '16 - Risk-driven revision of requirements models

Alrajeh, Dalal, van Lamsweerde, Axel, Kramer, Jeff, Russo, Alessandra, Uchitel, Sebastian

Year:

2016

Language:

english

File:

PDF, 517 KB

english, 2016

33

Formal derivation of strongly correct concurrent programs

Axel van Lamsweerde, Michel Sintzoff

Journal:

Acta Informatica

Year:

1979

Language:

english

File:

PDF, 1.60 MB

english, 1979

34

[ACM Press the 22nd international conference - Limerick, Ireland (2000.06.04-2000.06.11)] Proceedings of the 22nd international conference on Software engineering - ICSE '00 - Requirements engineering in the year 00

van Lamsweerde, Axel

Year:

2000

Language:

english

File:

PDF, 201 KB

english, 2000

35

[IEEE 2009 17th IEEE International Requirements Engineering Conference (RE) - Atlanta, Georgia, USA (2009.08.31-2009.09.4)] 2009 17th IEEE International Requirements Engineering Conference - Building Multi-View System Models for Requirements Engineering

van Lamsweerde, Axel

Year:

2009

Language:

english

File:

PDF, 141 KB

english, 2009

36

Formal refinement patterns for goal-driven requirements elaboration

Darimont, Robert, van Lamsweerde, Axel

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1996

Language:

english

File:

PDF, 1.27 MB

english, 1996

37

Goal-directed requirements acquisition

Anne Dardenne, Axel van Lamsweerde, Stephen Fickas

Journal:

Science of Computer Programming

Year:

1993

Language:

english

File:

PDF, 3.59 MB

english, 1993

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски